Büchi automaton - PDFSEARCH.IO - Document Search Engine

Büchi automaton
Results: 70

#	Item
11	JMLR: Workshop and Conference Proceedings 34:182–192, 2014 Proceedings of the 12th ICGI An example distribution for probabilistic query learning of simple deterministic languages Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Complementation of Büchi automaton
12	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
13	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
14	A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-06-13 07:29:10 Nested word Finite state transducer Finite-state machine Büchi automaton Automata theory Theoretical computer science Computer science
15	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
16	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
17	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
18	Toward a structure theory of ω-regular trace languages Namit Chaturvedi LaBRI, Bordeaux 11 Mar. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-03-17 08:01:44 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
19	Toward a structure theory of ω-regular trace languages Namit Chaturvedi Frontiers of Recognizability 29 Apr. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-30 05:42:23 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
20	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science

UPDATE